Petri nets for the control of discrete event systems
نویسندگان
چکیده
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملControl of Distributed Discrete Event Systems Modeled as Petri Nets
This paper develops a distributed control for forbidden state avoidance for discrete event systems which are mod-eled as Petri nets. We consider a class of Petri nets controlled by multiple local controllers, each of which has partial observation of the system states and limited control to the system. The local controllers interact through a communication channel to achieve a control that ensur...
متن کاملPetri Nets as Discrete Event Models for Supervisory Control
Discrete event systems represents a new field of control theory of increasing importance in the domains of manufacturing, communications, and robotics. Supervisory Control theory, based on formal languages, is a well established framework for the study of discrete event systems. The thesis discusses the use of Petri nets in Supervisory Control. Place/Transition nets have been used by several au...
متن کاملPetri nets and grafcet - tools for modelling discrete event systems
When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing to reach all benefits. Be sure and surely do to take this petri nets and grafcet tools for modelling discrete event systems that gives the best reasons to read. When you really need to get the reason why, this petri nets and grafcet tools for modelling discrete event...
متن کاملPetri Nets and Software Engineering 2015 (PNSE'15) and Petri Nets for Adaptive Discrete Event Control Systems (ADECS'15)
Mastering the development of software having the required quality level is a complex task. Since 1968, the software engineering discipline has grown in order to offer theories, methods and tools to software engineers to tackle this complex task. The role of software engineering educators is to help the learners to acquire competencies in those theories, methods and tools to better master the pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2014
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-014-0425-1